Dynamic Ownership Verification
نویسنده
چکیده
A joint-ownership verification approach [1] verified all the co-owners with a secret sharing algorithm given that an authority is always available. The joint-ownership scheme was also extended to confirm partial ownership with additional watermarks embedded. This paper pointed out this extension reduces the scheme security and image quality. Additionally, the present paper proposes a new dynamic ownership scheme, which confirms individual owner’s right independently. Furthermore, it enables ownership expiry, renewal and inheritance without rewatermarking the image after the image has been watermarked.
منابع مشابه
Object Ownership in Program Verification
Dealing with aliasing is one of the key challenges for the verification of imperative programs. For instance, aliases make it difficult to determine which abstractions are potentially affected by a heap update and to determine which locks need to be acquired to avoid data races. Object ownership was one of the first approaches that allowed programmers to control aliasing and to restrict the ope...
متن کاملSelective Ownership: Combining Object and Type Hierarchies for Flexible Sharing
Most ownership systems enforce a tree topology on a program’s heap. The tree topology facilitates many aspects of programming such as thread synchronization, memory management, and program verification. Ownership-based verification techniques leverage the tree topology of an ownership system (and hence the fact that there exists a single owner) to restore sound modular reasoning about invariant...
متن کاملFlexible Immutability with Frozen Objects
Object immutability is a familiar concept that allows safe sharing of objects. Existing language support for immutability is based on immutable classes. However, class-based approaches are restrictive because programmers can neither make instances of arbitrary classes immutable, nor can they control when an instance becomes immutable. These restrictions prevent many interesting applications whe...
متن کامل2007 State of the Universe Address
This position paper summarizes recent developments related to the Universe type system and suggests directions for future work. 1. Universe Type System The Universe type system is an ownership type system that enforces the owner-as-modifier discipline. In this section, we summarize recent developments and suggest future work to improve the expressiveness and formal foundation. 1.1 Expressivenes...
متن کاملCheaper Reasoning with Ownership Types
We use ownership types to facilitate program verification. Namely, an assertion that has been established for a part of the heap which is unaffected by some execution will still hold after this execution. We use ownership and effects, and extend them to assertions to be able to make the judgement as to which executions do not affect which assertions. We describe the ideas in terms of an example...
متن کامل